non-resolution theorem proving
《英汉医学词典》non-resolution theorem proving
非解析定理求解
热门查询
- nut n. 螺母，螺帽；坚果；难对付的人，难解的问题 vi. 采坚果 n. (Nut)人名；(阿拉伯)努特；(柬)努
- powell n. 鲍威尔（英国物理学家）
- CPA abbr. 注册会计师（Certified Public Accountant）；民间财产代理人（Civilian Property Agent）；英联邦议会协会（Commonwealth Parliamentary Association）；每次激活的费用 (Cost per Action)
- caliper n. 卡尺；卡钳 vt. 用测径规测量；用卡钳测量
- mending n. 修补；修补工作 v. 修补（mend的现在分词）；修理
- seagrass 海草
- fail-safe adj. 自动防故障装置的 n. 自动防故障装置
- gorgeously adv. 华美地；辉煌地
- they'll （等于they will）
- caterwaul n. 猫叫春声；像猫叫春的声音 vi. 叫春；发出猫叫春的声音；发出尖锐的声音
- bedrock n. [地质] 基岩；根底；基本原理
- subliminal n. 潜意识；阈下意识 adj. [生理] 阈下的；潜在意识的；微小得难以察觉的
- pectin n. [生化] 果胶；胶质
- taxy [医] 回复, 整复, 趋...性
- lunchtime n. 午餐时间
- limpet n. 帽贝；纠缠者；坚守岗位的职员
- animator n. 鼓舞者；赋与生气者；卡通片绘制者（等于animater）
- BUF [计] 缓冲器
- overenthusiastic adj. 过分热情的
- Tadeusz n. (Tadeusz)人名；(波)塔德乌什
